@(active: String, fileCount: Int, issueCount: Int, wikiCount: Int, query: String,
  repository: gitbucket.core.service.RepositoryService.RepositoryInfo)(body: Html)(implicit context: gitbucket.core.controller.Context)
@import gitbucket.core.view.helpers
@gitbucket.core.html.menu("", repository){
  <ul class="nav nav-tabs" style="margin-bottom: 20px;">
    <li@if(active=="code"){ class="active"}>
      <a href="@helpers.url(repository)/search?q=@helpers.urlEncode(query)&type=code">
        Files
        @if(fileCount != 0){
          <span class="badge">@fileCount</span>
        }
      </a>
    </li>
    <li@if(active=="issue"){ class="active"}>
      <a href="@helpers.url(repository)/search?q=@helpers.urlEncode(query)&type=issue">
        Issues
        @if(issueCount != 0){
          <span class="badge">@issueCount</span>
        }
      </a>
    </li>
    <li@if(active=="wiki"){ class="active"}>
      <a href="@helpers.url(repository)/search?q=@helpers.urlEncode(query)&type=wiki">
        Wiki
        @if(wikiCount != 0){
          <span class="badge">@wikiCount</span>
        }
      </a>
    </li>
  </ul>
  <form action="@helpers.url(repository)/search" method="GET" class="form-inline">
    <input type="text" name="q" value="@query" class="form-control" style="width: 400px; margin-bottom: 0px;"/>
    <input type="submit" value="Search" class="btn btn-default"/>
    <input type="hidden" name="type" value="@active"/>
  </form>
  @body
}